[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 70 165 0 0 0 0 0 0

N.S.

1 1.06 2.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.546 13.412 0.000 0.000 0.000 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 70 165 0 0 0 0 0 0

N.S.

1 1.06 2.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.529 12.187 0.000 0.000 0.000 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 67 150 0 0 0 0 0 0

N.S.

1 1.06 2.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.354 2.494 0.000 0.000 0.000 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

40 40 40 1261 137 115 0 0 62

N.S.

1 1.00 1.00 31.52 3.42 2.88 0.00 0.00 1.55

time (sec)

N/A 0.253 1.680 8.248 0.337 0.246 0.000 0.000 5.442

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 61 0 304 139 0 0 260

N.S.

1 1.00 0.66 0.00 3.30 1.51 0.00 0.00 2.83

time (sec)

N/A 0.413 2.436 0.000 0.443 0.256 0.000 0.000 9.241

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 145 129 0 0 172 0 0 321

N.S.

1 0.98 0.87 0.00 0.00 1.16 0.00 0.00 2.17

time (sec)

N/A 0.611 3.298 0.000 0.000 0.254 0.000 0.000 13.755

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 56 53 69 70 57 56 70 68

N.S.

1 0.93 0.88 1.15 1.17 0.95 0.93 1.17 1.13

time (sec)

N/A 0.292 0.198 14.753 0.204 0.244 1.477 0.394 4.097

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 74 63 86 88 0 141 175

N.S.

1 1.07 1.00 0.85 1.16 1.19 0.00 1.91 2.36

time (sec)

N/A 0.430 0.015 8.658 0.350 0.265 0.000 0.406 7.984

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 41 47 48 45 44 48 46

N.S.

1 1.00 0.93 1.07 1.09 1.02 1.00 1.09 1.05

time (sec)

N/A 0.285 0.100 3.540 0.394 0.243 1.040 0.388 4.043

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 53 52 50 61 74 0 99 105

N.S.

1 1.02 1.00 0.96 1.17 1.42 0.00 1.90 2.02

time (sec)

N/A 0.335 0.015 2.253 0.281 0.248 0.000 0.385 6.547

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 20 30 34 25 23

N.S.

1 1.00 1.00 0.89 0.71 1.07 1.21 0.89 0.82

time (sec)

N/A 0.262 0.017 0.855 0.200 0.246 0.673 0.353 4.035

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 32 31 54 37 54 38

N.S.

1 1.00 1.00 1.33 1.29 2.25 1.54 2.25 1.58

time (sec)

N/A 0.239 0.013 0.572 0.204 0.262 2.224 0.367 4.531

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 46 23 23 23 0 129 38

N.S.

1 1.00 1.92 0.96 0.96 0.96 0.00 5.38 1.58

time (sec)

N/A 0.232 0.019 0.720 0.209 0.256 0.000 0.358 4.211

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 44 46 36 38 35 0 146 31

N.S.

1 1.02 1.07 0.84 0.88 0.81 0.00 3.40 0.72

time (sec)

N/A 0.253 0.061 1.136 0.304 0.261 0.000 0.369 4.026

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 36 35 38 0 11886 47

N.S.

1 1.00 1.00 0.82 0.80 0.86 0.00 270.14 1.07

time (sec)

N/A 0.267 0.009 2.894 0.312 0.253 0.000 2.422 4.653

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 62 52 61 51 0 426 41

N.S.

1 1.08 0.95 0.80 0.94 0.78 0.00 6.55 0.63

time (sec)

N/A 0.322 0.101 4.856 0.519 0.262 0.000 0.519 4.060

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 129 133 138 133 122 0 156 132

N.S.

1 1.08 1.12 1.16 1.12 1.03 0.00 1.31 1.11

time (sec)

N/A 0.309 0.613 113.345 0.659 0.274 0.000 0.532 4.540

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 107 104 110 104 100 0 118 102

N.S.

1 1.10 1.07 1.13 1.07 1.03 0.00 1.22 1.05

time (sec)

N/A 0.295 0.763 28.988 0.216 0.251 0.000 0.531 4.092

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 64 54 82 71 79 0 80 71

N.S.

1 0.85 0.72 1.09 0.95 1.05 0.00 1.07 0.95

time (sec)

N/A 0.280 0.222 7.983 0.209 0.264 0.000 0.512 4.212

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 46 48 20 55 0 41 39

N.S.

1 1.00 2.09 2.18 0.91 2.50 0.00 1.86 1.77

time (sec)

N/A 0.219 0.044 2.439 0.249 0.270 0.000 0.455 4.360

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 78 52 64 55 52 0 245 50

N.S.

1 1.59 1.06 1.31 1.12 1.06 0.00 5.00 1.02

time (sec)

N/A 0.253 0.448 1.998 0.290 0.268 0.000 0.502 3.991

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 139 197 97 85 75 0 2286 83

N.S.

1 1.58 2.24 1.10 0.97 0.85 0.00 25.98 0.94

time (sec)

N/A 0.296 3.325 8.991 0.623 0.268 0.000 2.597 4.788

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 159 216 177 220 163 0 437 432

N.S.

1 0.98 1.33 1.09 1.35 1.00 0.00 2.68 2.65

time (sec)

N/A 0.435 0.083 67.511 0.315 0.289 0.000 0.587 8.173

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 130 168 149 180 142 0 343 328

N.S.

1 0.99 1.28 1.14 1.37 1.08 0.00 2.62 2.50

time (sec)

N/A 0.412 0.069 15.695 0.580 0.274 0.000 0.540 6.891

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 101 120 118 129 120 0 249 216

N.S.

1 1.02 1.21 1.19 1.30 1.21 0.00 2.52 2.18

time (sec)

N/A 0.402 0.060 4.717 0.212 0.254 0.000 0.509 7.249

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 67 83 82 96 0 122 106

N.S.

1 1.05 1.03 1.28 1.26 1.48 0.00 1.88 1.63

time (sec)

N/A 0.351 0.045 1.068 0.200 0.249 0.000 0.512 4.654

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 46 84 53 60 62 0 1100 66

N.S.

1 0.98 1.79 1.13 1.28 1.32 0.00 23.40 1.40

time (sec)

N/A 0.346 0.579 1.181 0.209 0.250 0.000 0.702 4.971

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 54 67 52 52 53 0 11162 77

N.S.

1 0.60 0.74 0.58 0.58 0.59 0.00 124.02 0.86

time (sec)

N/A 0.403 0.061 4.723 0.209 0.242 0.000 16.591 4.240

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 77 69 88 77 74 0 28204 115

N.S.

1 0.68 0.61 0.77 0.68 0.65 0.00 247.40 1.01

time (sec)

N/A 0.413 0.178 21.460 0.334 0.242 0.000 34.076 4.573

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 100 92 108 98 94 0 52002 176

N.S.

1 0.72 0.67 0.78 0.71 0.68 0.00 376.83 1.28

time (sec)

N/A 0.431 0.319 68.937 0.358 0.260 0.000 61.655 4.663

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 192 177 219 176 150 0 220 175

N.S.

1 0.99 0.91 1.13 0.91 0.77 0.00 1.13 0.90

time (sec)

N/A 0.370 2.254 191.796 0.312 0.261 0.000 0.821 4.111

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 115 115 173 142 128 0 166 139

N.S.

1 0.83 0.83 1.25 1.03 0.93 0.00 1.20 1.01

time (sec)

N/A 0.331 0.670 69.606 0.216 0.282 0.000 0.787 4.856

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 64 54 127 98 105 0 112 97

N.S.

1 0.85 0.72 1.69 1.31 1.40 0.00 1.49 1.29

time (sec)

N/A 0.276 0.405 16.388 0.206 0.240 0.000 0.754 4.001

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 57 72 20 78 0 57 55

N.S.

1 1.00 2.59 3.27 0.91 3.55 0.00 2.59 2.50

time (sec)

N/A 0.216 0.181 4.500 0.237 0.240 0.000 0.739 4.407

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 119 401 98 81 79 0 561 141

N.S.

1 1.38 4.66 1.14 0.94 0.92 0.00 6.52 1.64

time (sec)

N/A 0.314 0.837 4.698 0.294 0.257 0.000 0.886 4.418

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 130 488 114 110 100 0 2496 109

N.S.

1 1.55 5.81 1.36 1.31 1.19 0.00 29.71 1.30

time (sec)

N/A 0.282 1.224 20.988 0.483 0.247 0.000 12.250 4.114

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 637 248 208 170 0 465 423

N.S.

1 1.00 4.01 1.56 1.31 1.07 0.00 2.92 2.66

time (sec)

N/A 0.575 3.324 31.313 0.298 0.258 0.000 0.841 8.106

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 130 464 198 157 147 0 333 293

N.S.

1 1.03 3.68 1.57 1.25 1.17 0.00 2.64 2.33

time (sec)

N/A 0.545 2.463 9.239 0.391 0.265 0.000 0.754 8.175

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 97 293 146 111 123 0 171 160

N.S.

1 1.07 3.22 1.60 1.22 1.35 0.00 1.88 1.76

time (sec)

N/A 0.481 2.440 2.562 0.215 0.260 0.000 0.705 6.262

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 70 131 96 84 109 0 4309 116

N.S.

1 0.83 1.56 1.14 1.00 1.30 0.00 51.30 1.38

time (sec)

N/A 0.447 1.818 2.797 0.221 0.276 0.000 2.617 4.693

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 82 81 75 77 77 0 24430 104

N.S.

1 1.17 1.16 1.07 1.10 1.10 0.00 349.00 1.49

time (sec)

N/A 0.514 0.781 10.368 0.276 0.255 0.000 142.573 4.221

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 113 121 125 107 102 0 56572 147

N.S.

1 1.08 1.15 1.19 1.02 0.97 0.00 538.78 1.40

time (sec)

N/A 0.558 1.326 40.215 0.214 0.260 0.000 274.601 4.527

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 130 141 145 126 123 0 101962 214

N.S.

1 0.92 0.99 1.02 0.89 0.87 0.00 718.04 1.51

time (sec)

N/A 0.592 3.084 119.541 0.374 0.260 0.000 84.494 4.491

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 103 99 106 108 183 0 120 119

N.S.

1 0.89 0.85 0.91 0.93 1.58 0.00 1.03 1.03

time (sec)

N/A 0.302 1.318 32.677 0.348 0.271 0.000 0.384 4.368

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 52 52 53 53 117 0 54 57

N.S.

1 0.88 0.88 0.90 0.90 1.98 0.00 0.92 0.97

time (sec)

N/A 0.266 0.152 7.497 0.623 0.257 0.000 0.381 4.048

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 18 59 0 19 18

N.S.

1 1.00 1.00 1.06 1.00 3.28 0.00 1.06 1.00

time (sec)

N/A 0.219 0.018 1.451 0.207 0.256 0.000 0.367 3.938

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 158 143 120 141 119 0 182 156

N.S.

1 1.70 1.54 1.29 1.52 1.28 0.00 1.96 1.68

time (sec)

N/A 0.381 0.605 2.289 0.310 0.263 0.000 0.363 4.834

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 245 225 197 271 208 0 322 318

N.S.

1 1.61 1.48 1.30 1.78 1.37 0.00 2.12 2.09

time (sec)

N/A 0.483 1.329 8.190 0.333 0.271 0.000 0.400 4.565

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 150 321 269 361 259 0 278 724

N.S.

1 1.07 2.29 1.92 2.58 1.85 0.00 1.99 5.17

time (sec)

N/A 1.003 2.594 16.287 0.304 0.336 0.000 0.408 6.543

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 80 109 129 163 191 0 136 310

N.S.

1 1.01 1.38 1.63 2.06 2.42 0.00 1.72 3.92

time (sec)

N/A 0.498 0.526 4.092 0.474 0.272 0.000 0.405 4.308

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 45 43 80 131 0 74 39

N.S.

1 1.00 0.98 0.93 1.74 2.85 0.00 1.61 0.85

time (sec)

N/A 0.222 0.139 1.343 0.514 0.250 0.000 0.378 4.571

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 83 79 90 142 187 0 118 110

N.S.

1 0.92 0.88 1.00 1.58 2.08 0.00 1.31 1.22

time (sec)

N/A 0.492 0.565 1.595 0.455 0.265 0.000 0.393 4.449

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 151 137 221 379 262 0 286 342

N.S.

1 0.92 0.83 1.34 2.30 1.59 0.00 1.73 2.07

time (sec)

N/A 0.909 1.715 4.153 0.317 0.269 0.000 0.404 7.586

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 156 229 201 186 386 0 253 258

N.S.

1 0.88 1.29 1.13 1.04 2.17 0.00 1.42 1.45

time (sec)

N/A 0.367 2.623 265.495 0.212 0.295 0.000 0.496 4.140

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 100 122 114 115 281 0 149 130

N.S.

1 0.86 1.05 0.98 0.99 2.42 0.00 1.28 1.12

time (sec)

N/A 0.314 5.389 58.769 0.225 0.270 0.000 0.445 4.287

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 51 51 57 60 178 0 71 67

N.S.

1 0.84 0.84 0.93 0.98 2.92 0.00 1.16 1.10

time (sec)

N/A 0.274 0.170 15.500 0.221 0.262 0.000 0.417 4.563

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 32 21 20 57 0 20 20

N.S.

1 1.00 1.60 1.05 1.00 2.85 0.00 1.00 1.00

time (sec)

N/A 0.227 0.164 3.420 0.340 0.253 0.000 0.429 4.005

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 210 304 154 282 279 0 250 246

N.S.

1 1.38 2.00 1.01 1.86 1.84 0.00 1.64 1.62

time (sec)

N/A 0.431 4.411 4.168 0.417 0.288 0.000 0.441 5.129

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 322 416 248 502 424 0 464 463

N.S.

1 1.37 1.77 1.06 2.14 1.80 0.00 1.97 1.97

time (sec)

N/A 0.554 3.599 16.901 0.479 0.310 0.000 0.472 5.330

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

235 222 1152 454 827 472 0 530 2654

N.S.

1 0.94 4.90 1.93 3.52 2.01 0.00 2.26 11.29

time (sec)

N/A 0.511 6.762 152.135 0.316 0.417 0.000 0.530 7.560

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

176 161 709 259 471 355 0 280 585

N.S.

1 0.91 4.03 1.47 2.68 2.02 0.00 1.59 3.32

time (sec)

N/A 0.394 6.577 32.082 0.331 0.316 0.000 0.497 5.935

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

91 104 120 135 212 293 0 166 383

N.S.

1 1.14 1.32 1.48 2.33 3.22 0.00 1.82 4.21

time (sec)

N/A 0.334 1.345 7.865 0.296 0.311 0.000 0.478 5.232

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

82 103 78 118 182 215 0 138 136

N.S.

1 1.26 0.95 1.44 2.22 2.62 0.00 1.68 1.66

time (sec)

N/A 0.299 0.631 1.872 0.358 0.271 0.000 0.435 4.646

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

157 173 153 172 348 302 0 286 286

N.S.

1 1.10 0.97 1.10 2.22 1.92 0.00 1.82 1.82

time (sec)

N/A 0.383 0.938 2.315 0.422 0.294 0.000 0.507 6.540

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

241 273 249 320 772 418 0 438 674

N.S.

1 1.13 1.03 1.33 3.20 1.73 0.00 1.82 2.80

time (sec)

N/A 0.533 1.803 8.249 0.463 0.300 0.000 0.511 8.298

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 160 272 195 200 476 0 243 234

N.S.

1 0.86 1.47 1.05 1.08 2.57 0.00 1.31 1.26

time (sec)

N/A 0.370 1.509 1.076 0.236 0.306 0.000 0.621 4.492

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 102 140 115 128 354 0 140 143

N.S.

1 0.84 1.16 0.95 1.06 2.93 0.00 1.16 1.18

time (sec)

N/A 0.307 4.392 174.192 0.213 0.297 0.000 0.581 4.732

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 57 57 63 78 284 0 62 80

N.S.

1 0.83 0.83 0.91 1.13 4.12 0.00 0.90 1.16

time (sec)

N/A 0.270 0.225 37.257 0.246 0.270 0.000 0.563 4.288

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 20 142 0 20 39

N.S.

1 1.00 1.00 0.95 0.91 6.45 0.00 0.91 1.77

time (sec)

N/A 0.219 0.219 7.224 0.232 0.260 0.000 0.516 4.522

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 263 458 219 458 503 0 439 419

N.S.

1 1.30 2.27 1.08 2.27 2.49 0.00 2.17 2.07

time (sec)

N/A 0.480 6.365 10.265 0.307 0.314 0.000 0.635 5.260

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 386 596 312 738 671 0 587 715

N.S.

1 1.31 2.02 1.06 2.50 2.27 0.00 1.99 2.42

time (sec)

N/A 0.600 6.295 43.898 0.533 0.335 0.000 0.613 6.490

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

239 223 688 444 902 564 0 510 1203

N.S.

1 0.93 2.88 1.86 3.77 2.36 0.00 2.13 5.03

time (sec)

N/A 0.477 3.614 299.230 0.609 0.353 0.000 0.646 7.829

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

148 164 396 269 518 513 0 314 1311

N.S.

1 1.11 2.68 1.82 3.50 3.47 0.00 2.12 8.86

time (sec)

N/A 0.378 3.682 94.516 0.339 0.336 0.000 0.607 6.480

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 117 132 191 326 294 0 221 260

N.S.

1 1.23 1.39 2.01 3.43 3.09 0.00 2.33 2.74

time (sec)

N/A 0.313 0.487 17.398 0.306 0.273 0.000 0.612 6.927

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

155 170 110 280 412 352 0 293 443

N.S.

1 1.10 0.71 1.81 2.66 2.27 0.00 1.89 2.86

time (sec)

N/A 0.369 1.663 3.616 0.304 0.289 0.000 0.540 5.879

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

221 250 183 283 658 480 0 399 610

N.S.

1 1.13 0.83 1.28 2.98 2.17 0.00 1.81 2.76

time (sec)

N/A 0.476 2.713 4.994 0.319 0.306 0.000 0.626 8.102

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

310 359 371 457 1229 619 0 640 1128

N.S.

1 1.16 1.20 1.47 3.96 2.00 0.00 2.06 3.64

time (sec)

N/A 0.614 3.039 23.375 0.360 0.333 0.000 0.635 9.856

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 123 69 436 0 145 0 0 0

N.S.

1 1.02 0.57 3.60 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.607 1.382 26.102 0.000 0.096 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 93 58 162 0 123 0 0 0

N.S.

1 1.01 0.63 1.76 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.459 0.896 24.297 0.000 0.093 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 89 58 412 0 120 0 0 0

N.S.

1 1.01 0.66 4.68 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.450 0.958 3.589 0.000 0.093 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 42 95 0 74 0 0 39

N.S.

1 1.00 0.72 1.64 0.00 1.28 0.00 0.00 0.67

time (sec)

N/A 0.334 0.813 11.108 0.000 0.084 0.000 0.000 0.431

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 54 306 0 89 0 0 0

N.S.

1 1.00 0.93 5.28 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.331 0.815 10.435 0.000 0.087 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 95 69 155 0 103 0 0 0

N.S.

1 1.01 0.73 1.65 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.440 0.697 10.849 0.000 0.087 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 95 74 438 0 111 0 0 0

N.S.

1 1.01 0.79 4.66 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.442 1.419 6.150 0.000 0.096 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 131 94 178 0 118 0 0 0

N.S.

1 1.07 0.76 1.45 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.558 1.112 6.184 0.000 0.095 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 139 127 317 0 172 0 0 0

N.S.

1 0.97 0.89 2.22 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.692 2.437 146.292 0.000 0.094 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 135 126 833 0 171 0 0 0

N.S.

1 0.94 0.88 5.83 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.685 1.851 21.000 0.000 0.094 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 104 87 239 0 133 0 0 0

N.S.

1 1.01 0.84 2.32 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.528 1.650 15.539 0.000 0.087 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 64 805 0 122 0 0 0

N.S.

1 1.00 0.67 8.47 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.539 2.654 16.287 0.000 0.093 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 132 101 295 0 131 0 0 0

N.S.

1 0.95 0.73 2.12 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.690 2.433 15.536 0.000 0.095 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 141 92 863 0 139 0 0 0

N.S.

1 0.97 0.63 5.95 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.704 2.831 23.411 0.000 0.099 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 177 127 336 0 154 0 0 0

N.S.

1 0.96 0.69 1.83 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.879 4.655 21.609 0.000 0.097 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 177 126 931 0 164 0 0 0

N.S.

1 0.96 0.68 5.06 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.848 6.007 33.432 0.000 0.105 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 193 157 349 0 202 0 0 0

N.S.

1 0.97 0.79 1.76 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.361 4.211 619.103 0.000 0.099 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-1) C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 186 155 872 0 200 0 0 0

N.S.

1 1.06 0.88 4.95 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.359 3.858 22.069 0.000 0.099 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 152 132 298 0 164 0 0 0

N.S.

1 1.18 1.02 2.31 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.339 3.913 21.260 0.000 0.095 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 184 130 1114 0 169 0 0 0

N.S.

1 1.03 0.73 6.26 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.342 4.903 21.299 0.000 0.099 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 161 117 323 0 148 0 0 0

N.S.

1 1.10 0.80 2.21 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.356 3.805 23.956 0.000 0.097 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 199 150 1289 0 164 0 0 0

N.S.

1 0.98 0.74 6.32 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.372 3.943 25.996 0.000 0.104 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 183 150 366 0 181 0 0 0

N.S.

1 1.08 0.88 2.15 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.359 5.489 23.648 0.000 0.103 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]